Journées LTP et MTV2 à l’ENSIIE les 6 et 7 déc
Le GDR (Groupement de Recherche) GPL (Génie de la Programmation et du Logiciel) du CNRS regroupe la communauté scientifique française intéressée par le Génie Logiciel et la Programmation. Il comprend différents groupes de travail qui s’intéressent à des domaines particuliers.
Le 6 décembre à l’ENSIIE :
Le groupe de travail LTP (Langages, Types et Preuves) tiendra sa réunion annuelle.
Il s’intéresse à la conception de langages plus sûrs et plus expressions, au développement d’outils de vérification (preuve, analyse statique), à la vérification de programmes, d’algorithmes et d’outils.
La journée comprend des exposés de recherche et deux présentations données par des chercheurs invités:
– Benoît Valiron (LRI/Modhel) Calcul et langages de programmation quantique
– Sylvain Boulmé (Laboratoire Verimag, Grenoble-INP). Embedding Impure ML Oracles into Coq Verified Code, Illustrated on SatAns-Cert, a Coq-Verified (Boolean) SAT-Solver.
Programme
Le 7 décembre à l’ENSIIE :
Le groupe de travail MTV2 (Méthodes de Test pour la Vérification et la Validation)
se réunira à l’ENSIIE.
La journée comprend des exposés de recherche et deux présentations données par des chercheurs invités :
– Mike Papadakis (Univ. Luxembourg) Mutation Testing Advances
– Bernhard Aichernig (IST, TU Graz, Autriche) Smart Black-box Testing – Combining Model Learning and Model-based Testing